Compactness theorem

Results: 32



#Item
21Sobolev spaces / Operator theory / Inequalities / Sobolev inequality / Metric space / Oscillator semigroup / Arzelà–Ascoli theorem / Mathematical analysis / Mathematics / Topology

(March 20, [removed]Simplest Sobolev imbedding and Rellich-Kondrachev compactness Paul Garrett [removed] http://www.math.umn.edu/egarrett/

Add to Reading List

Source URL: www.math.umn.edu

Language: English - Date: 2012-03-20 17:49:06
22Metalogic / Saturated model / Structure / Second-order logic / FO / Beth definability / Compactness theorem / Graph / Reachability / Mathematics / Mathematical logic / Model theory

[removed]Basic definitions

Add to Reading List

Source URL: www.haverford.edu

Language: English - Date: 2012-03-28 11:42:23
23Model theory / Constructible universe / Function / Compactness theorem / Μ operator / Linear temporal logic / Mathematics / Mathematical logic / Logic

Inductive Classes of Finite Models Steven Lindell Haverford College

Add to Reading List

Source URL: www.haverford.edu

Language: English - Date: 2012-03-28 11:42:05
24Logic / Compactness theorem / First-order logic / Spectrum / Stable theory / Stability spectrum / Spectral theory of ordinary differential equations / Shrewd cardinal / Model theory / Mathematical logic / Metalogic

LOCAL ORDER PROPERTY IN NONELEMENTARY CLASSES RAMI GROSSBERG AND OLIVIER LESSMANN

Add to Reading List

Source URL: www.math.cmu.edu

Language: English - Date: 1999-02-12 17:07:53
25Non-standard analysis / Model theory / Infinity / Compactness theorem / Infinitesimal / Ultraproduct / Finite set / Real number / Calculus / Mathematics / Logic / Mathematical logic

of Mxodel T heory W!orld This relatively new theory, ripe for potential research

Add to Reading List

Source URL: www.stolaf.edu

Language: English - Date: 2013-03-22 09:15:10
26Model theory / Descriptive complexity theory / Finite model theory / Compactness theorem / Satisfiability / First-order logic / FO / Interpretation / P versus NP problem / Logic / Mathematical logic / Mathematics

Theoretical Elsevier

Add to Reading List

Source URL: researcher.ibm.com

Language: English - Date: 2006-12-11 17:42:17
27Fourier analysis / Integral transforms / Equicontinuity / Arzelà–Ascoli theorem / Compact space / Marcel Riesz / Continuous function / Dominated convergence theorem / Fourier transform / Mathematical analysis / Mathematics / Topology

THE KOLMOGOROV–RIESZ COMPACTNESS THEOREM H. HANCHE-OLSEN AND HELGE HOLDEN

Add to Reading List

Source URL: www.math.ntnu.no

Language: English - Date: 2009-06-25 10:46:02
28Mathematical logic / Model theory / Antichain / Constructible universe / Filter / Interpretation / Cardinal number / Compactness theorem / Symbol / Mathematics / Order theory / Logic

Notes on Lattice Theory J. B. Nation

Add to Reading List

Source URL: www.math.hawaii.edu

Language: English - Date: 2001-04-07 05:22:09
29Metalogic / Finite model theory / Ehrenfeucht–Fraïssé game / Compactness theorem / Elementary equivalence / FO / First-order logic / Finitary relation / Filter / Model theory / Mathematical logic / Logic

A Short Course on Finite Model Theory Jouko Väänänen

Add to Reading List

Source URL: www.math.helsinki.fi

Language: English - Date: 2001-10-11 09:40:15
30Mathematical logic / Model theory / Antichain / Constructible universe / Filter / Interpretation / Cardinal number / Compactness theorem / Symbol / Mathematics / Order theory / Logic

PDF Document

Add to Reading List

Source URL: bigcheese.math.sc.edu

Language: English - Date: 2003-09-17 12:12:03
UPDATE